module Main where

-- | Documentation.

type family F a :: * -> * where
  F Int  = Double
  F Bool = Char
  F a    = String
